81. Frege :making sense

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics

رده :
B3245
.
F24
B43
1996

82. Frege :philosophy of mathematics

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Frege, Gottlob,8481-5291,Philosophy ، Mathematics,، Logic, Symbolic and mathematical

83. Frege. philosophy of mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical

رده :
QA
8
.
4
.
D85F7

84. Frege's lectures on logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Frege, Gottlob,1848-1925.,Carnap, Rudolf,1891-1970.,Carnap, Rudolf,1891-1970.,Frege, Gottlob ,1848-1925.,Frege, Gottlob, 1848-1925,Frege, Gottlob.,Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik

رده :
B3245
.
F22
E52
2004

85. Frege's philosophy of mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical

رده :
QA
.
F74
8
.
6
1995

86. Frege's philosophy of mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Mathematical analysis -- Foundations,Addresses, essays, lectures ، Logic, Symbolic and mathematical

رده :
QA
8
.
6
.
F73

87. Frege's philosophy of mathematics

پدیدآورنده :

موضوع : Mathematics - Philosophy,Mathematics - Foundations,Logic, symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

88. From Frege to Godel; a source book in mathematical logic, 1879-1931

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures

رده :
QA
9
.
V3

89. From Frege to Godel; a source book in mathematical logic, 1879-1931

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy

رده :
QA
9
.
V34

90. From Mathematics to Philosophy

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04

رده :
E-Book
,

91. From mathematics to philosophy

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
BD
161
.
W27
1974

92. From mathematics to philosophy

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
BD
161
.
W26F7

93. From mathematics to philosophy

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics

رده :
BD
161
.
W27
1974b

94. From mathematics to philosophy

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy

رده :
BD
161
.
W27
1974b

95. Gnomes in the Fog :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.

96. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

97. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

98. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

99. Grundlagen der Mathematik

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
H52

100. Handbook of Set Theory

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;